Qué (quién) es Взаимно однозначное соответствие - definición

ОТОБРАЖЕНИЕ, ПРИ КОТОРОМ КАЖДОМУ ЭЛЕМЕНТУ ОДНОГО МНОЖЕСТВА СООТВЕТСТВУЕТ РОВНО ОДИН ЭЛЕМЕНТ ДРУГОГО МНОЖЕСТВА

Биективность; Взаимно-однозначное отображение; Взаимно однозначное отображение; Взаимно однозначное соответствие; Взаимнооднозначное отображение; Взаимноднозначное; Взаимно-однозначное соответствие; Одно-однозначное отношение; Биективное отображение; Взаимнооднозначное соответствие

Взаимно однозначное соответствие

(математическое)

такое соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует один определённый элемент второго множества, а каждому элементу второго множества - один определённый элемент первого множества. В. о. с. - частный вид Функции или отображения (См. Отображение), когда данная функция и ей обратная являются однозначными. Если между двумя множествами можно установить В. о. с., то эти множества называются эквивалентными, или равномощными. Например, множества целых и их квадратов равномощны, так как соответствие n → n² является В. о. с.

ВЗАИМНО ОДНОЗНАЧНОЕ СООТВЕТСТВИЕ

такое соответствие между элементами двух множеств, при котором каждому элементу первого множества соответствует один определенный элемент второго множества, а каждому элементу второго множества - один определенный элемент первого множества.

Биекция

Бие́кция — отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют также взаимно однозначным отображением (соответствием).

https://ru.wikipedia.org/wiki/Биекция

Wikipedia

Биекция

Бие́кция — отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют также взаимно однозначным отображением (соответствием).

Биективное отображение, являющееся гомоморфизмом, называют изоморфным соответствием.

Если между двумя множествами можно установить взаимно однозначное соответствие (биекцию), то такие множества называются равномощными. С точки зрения теории множеств, равномощные множества неразличимы.

Взаимно однозначное отображение конечного множества на себя называется перестановкой (или подстановкой) элементов этого множества.

Формально, функция $f\colon X\to Y$